521. Perspectives of Systems Informatics
Author: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
522. Petri Nets :
Author: by Wolfgang Reisig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA267
.
B996
1985
523. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
Author: 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
Library: Library of Islamic Parliament (Tehran)
Subject:
524. Picture Engineering
Author: edited by King-sun Fu, Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
TA1632
.
E358
1982
525. Post-quantum cryptography :
Author: edited by Tanja Lange, Rainer Steinwandt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
Classification :
QA76
.
9
.
A25
526. Pragmatic logic
Author: / William J. Eccles
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic circuits
Classification :
E-BOOK
527. Principles and Practice of Constraint Programming :
Author: edited by Christian Schulte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
528. Principles and Practice of Constraint Programming CP 2004 :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer Appl. in Administrative Data Processing.,Computer science.,Information systems.,Logic design.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer science.,Logic design.
Classification :
QA76
.
6-76
.
66
529. Principles and Practice of Constraint Programming -- CP '95 :
Author: edited by Ugo Montanari, Francesca Rossi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information storage and retrieval systems.,Logic design.
530. Principles of physical science /
Author: editor, Donald R. Franceschetti, PhD, The University of Memphis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physical sciences.,Physical sciences.,SCIENCE / Essays.,SCIENCE / Reference.
Classification :
Q158
.
5
.
P755
2017
531. Principles of robotics & artificial intelligence /
Author: editor, Donald R. Franceschetti, PhD.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Robotics.,Artificial intelligence.,Robotics.
Classification :
TJ211
.
P75
2018
532. Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop
Author: edited by Ramón López-Cózar Delgado, Tetsunori Kobayashi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Engineering.,Translators (Computer programs).
533. Proceedings of the Third International Conference on Soft Computing for Problem Solving :
Author: edited by Millie Pant, Kusum Deep, Atulya Nagar, Jagdish Chand Bansal.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied mathematics.,Artificial intelligence.,Engineering.
Classification :
QA76
.
9
.
S63
E358
2014
534. Process Algebra for Parallel and Distributed Processing
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,Science
535. Process algebra with timing
Author: by J.C.M. Baeten, C.A. Middelburg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Discrete-time systems.,System design.
Classification :
QA76
.
9
.
S88
B953
2011
536. Progamming Language Implementation and Logic Programming :
Author: edited by Maurice Bruynooghe, Jaan Penjam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
537. Program Specification :
Author: edited by Jørgen Staunstrup.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1982
538. Programming Language Implementation and Logic Programming :
Author: edited by Jan Maluszyński, Martin Wirsing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
539. Programming Languages Implementation and Logic Programming :
Author: edited by P. Deransart, B. Lorho, J. Małuszyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
